(define (problem SeedSet-small)

(:domain SeedSet)

(:objects )

(:INIT
       (C00186)
       (C00221)
       (C01451)
       (C06186)
       (C06187)
       (C06188)
       (C00121)
       (C00198)
       (C00257)
       (C00258)
       (C00620)
       (C00672)
       (C00673)
       (C01151)
       (C01218)
       (C01801)
       (C03752)
       (C00085)
       (C00181)
       (C00191)
       (C00259)
       (C00266)
       (C00309)
       (C00312)
       (C00333)
       (C00379)
       (C00470)
       (C00474)
       (C00476)
       (C00502)
       (C00508)
       (C00532)
       (C00558)
       (C00618)
       (C00714)
       (C00789)
       (C00800)
       (C00817)
       (C01068)
       (C01101)
       (C01508)
       (C01904)
       (C02266)
       (C02273)
       (C03033)
       (C03291)
       (C03826)
       (C04053)
       (C04349)
       (C04575)
       (C05385)
       (C05411)
       (C05412)
       (C06019)
       (C06118)
       (C06441)
       (C14899)
       (C00095)
       (C00096)
       (C00247)
       (C00325)
       (C00392)
       (C00424)
       (C00464)
       (C00507)
       (C00636)
       (C00665)
       (C00861)
       (C00937)
       (C00976)
       (C01019)
       (C01099)
       (C01131)
       (C01222)
       (C01355)
       (C01680)
       (C01721)
       (C01768)
       (C02431)
       (C02492)
       (C02977)
       (C02985)
       (C02991)
       (C03117)
       (C03267)
       (C05392)
       (C06159)
       (C06192)
       (C11516)
       (C11544)
       (C00243)
       (C00446)
       (C00795)
       (C00880)
       (C01113)
       (C01132)
       (C01613)
       (C01697)
       (C02262)
       (C03383)
       (C05396)
       (C05796)
       (C06311)
       (C06376)
       (C06377)
       (C00072)
       (C00545)
       (C00684)
       (C01040)
       (C01041)
       (C01114)
       (C01146)
       (C01620)
       (C01825)
       (C02280)
       (C03064)
       (C03289)
       (C03921)
       (C05406)
       (C05422)
       (C15923)
       (C15924)
       (C15925)
       (C15926)
       (C15930)
       (C16186)
       (C00249)
       (C00712)
       (C01203)
       (C01530)
       (C01571)
       (C02679)
       (C03939)
       (C04088)
       (C06423)
       (C06424)
       (C08362)
       (C16520)
       (C00154)
       (C00162)
       (C00340)
       (C00435)
       (C00489)
       (C00517)
       (C00527)
       (C00823)
       (C01371)
       (C02990)
       (C03547)
       (C05102)
	 (= (total-cost) 0))

(:goal (AND
       (C00022)
       (C00024)
       (C00031)
       (C00033)
       (C00036)
       (C00068)
       (C00074)
       (C00084)
       (C00103)
       (C00111)
       (C00118)
       (C00186)
       (C00197)
       (C00221)
       (C00236)
       (C00267)
       (C00469)
       (C00631)
       (C00668)
       (C01159)
       (C01172)
       (C01451)
       (C05125)
       (C05345)
       (C05378)
       (C06186)
       (C06187)
       (C06188)
       (C15972)
       (C15973)
       (C16255)
       (C00026)
       (C00042)
       (C00091)
       (C00122)
       (C00149)
       (C00158)
       (C00311)
       (C00417)
       (C05379)
       (C05381)
       (C16254)
       (C00117)
       (C00119)
       (C00121)
       (C00198)
       (C00199)
       (C00204)
       (C00231)
       (C00257)
       (C00258)
       (C00279)
       (C00345)
       (C00577)
       (C00620)
       (C00672)
       (C00673)
       (C01151)
       (C01218)
       (C01236)
       (C01801)
       (C03752)
       (C04442)
       (C05382)
       (C06473)
       (C00029)
       (C00085)
       (C00167)
       (C00181)
       (C00191)
       (C00259)
       (C00266)
       (C00309)
       (C00310)
       (C00312)
       (C00333)
       (C00379)
       (C00470)
       (C00474)
       (C00476)
       (C00502)
       (C00508)
       (C00514)
       (C00532)
       (C00558)
       (C00618)
       (C00714)
       (C00789)
       (C00800)
       (C00817)
       (C00905)
       (C01068)
       (C01101)
       (C01508)
       (C01904)
       (C02266)
       (C02273)
       (C03033)
       (C03291)
       (C03826)
       (C04053)
       (C04349)
       (C04575)
       (C05385)
       (C05411)
       (C05412)
       (C06019)
       (C06118)
       (C06441)
       (C14899)
       (C00095)
       (C00096)
       (C00159)
       (C00247)
       (C00275)
       (C00325)
       (C00392)
       (C00424)
       (C00464)
       (C00507)
       (C00636)
       (C00644)
       (C00665)
       (C00794)
       (C00861)
       (C00937)
       (C00976)
       (C01019)
       (C01094)
       (C01096)
       (C01099)
       (C01131)
       (C01222)
       (C01355)
       (C01680)
       (C01721)
       (C01768)
       (C01934)
       (C02431)
       (C02492)
       (C02888)
       (C02977)
       (C02985)
       (C02991)
       (C03117)
       (C03267)
       (C03979)
       (C05392)
       (C06159)
       (C06192)
       (C11516)
       (C11544)
       (C00052)
       (C00089)
       (C00116)
       (C00124)
       (C00137)
       (C00243)
       (C00446)
       (C00492)
       (C00795)
       (C00880)
       (C01097)
       (C01113)
       (C01132)
       (C01216)
       (C01235)
       (C01286)
       (C01613)
       (C01697)
       (C02262)
       (C03383)
       (C03785)
       (C05396)
       (C05399)
       (C05400)
       (C05401)
       (C05402)
       (C05404)
       (C05796)
       (C06311)
       (C06376)
       (C06377)
       (C00072)
       (C00433)
       (C00545)
       (C00679)
       (C00684)
       (C00818)
       (C00879)
       (C01040)
       (C01041)
       (C01114)
       (C01115)
       (C01146)
       (C01620)
       (C01825)
       (C02280)
       (C02670)
       (C03064)
       (C03289)
       (C03921)
       (C05406)
       (C05422)
       (C15923)
       (C15924)
       (C15925)
       (C15926)
       (C15930)
       (C16186)
       (C00083)
       (C00229)
       (C00249)
       (C00712)
       (C01203)
       (C01209)
       (C01530)
       (C01571)
       (C02679)
       (C03939)
       (C04088)
       (C04246)
       (C04419)
       (C04618)
       (C04619)
       (C04620)
       (C04633)
       (C04688)
       (C05223)
       (C05744)
       (C05745)
       (C05746)
       (C05747)
       (C05748)
       (C05749)
       (C05750)
       (C05751)
       (C05752)
       (C05753)
       (C05754)
       (C05755)
       (C05756)
       (C05757)
       (C05758)
       (C05759)
       (C05760)
       (C05761)
       (C05762)
       (C05763)
       (C05764)
       (C06250)
       (C06423)
       (C06424)
       (C08362)
       (C16219)
       (C16220)
       (C16221)
       (C16520)
       (C00136)
       (C00154)
       (C01832)
       (C01944)
       (C02593)
       (C03221)
       (C05258)
       (C05259)
       (C05260)
       (C05261)
       (C05262)
       (C05263)
       (C05264)
       (C05265)
       (C05266)
       (C05267)
       (C05268)
       (C05269)
       (C05270)
       (C05271)
       (C05272)
       (C05273)
       (C05274)
       (C05275)
       (C05276)
       (C00010)
       (C00071)
       (C00162)
       (C00173)
       (C00226)
       (C00332)
       (C00340)
       (C00435)
       (C00489)
       (C00517)
       (C00527)
       (C00638)
       (C00823)
       (C00877)
       (C01144)
       (C01371)
       (C02990)
       (C03547)
       (C03561)
       (C05102)
       (C05279)
       (C05280)
))

(:metric minimize (total-cost))
)

